<!-- This file has been generated with `generate-indexes.py` -->
<!DOCTYPE html>
<html>
  <body>
    <a href="/foo">foo</a>
  </body>
</html>
